underlying types - i need help